- 可計算性邏輯
- logic: n. 1.邏輯，理論學。 2.推理[方法]；邏輯性，條理 ...
- computability: 可計算性; 可算性
- abacus computability: 算盤可計算性
- characterization of computability: 可計算性刻劃
- computability theory: 可計算性理論
下載手機詞典可隨時隨地查詞查翻譯
computability logic中文什么意思
- 可計算性邏輯
下載手機詞典可隨時隨地查詞查翻譯
百科釋義
Introduced by Giorgi Japaridze in 2003, computability logic is a research programme and mathematical framework for redeveloping logic as a systematic formal theory of computability, as opposed to classical logic which is a formal theory of proof. In this approach logical formulas represent computational problems (or, equivalently, computational resources), and their validity means being "always computable".
詳細百科解釋